Formal proof - PDFSEARCH.IO - Document Search Engine

Formal proof
Results: 365

#	Item
241	Proofs of Correctness in Mathematics and Industry Henk Barendregt Radboud University Nijmegen, The Netherlands July 11, 2007 Add to Reading List Source URL: ftp.cs.kun.nl Language: English - Date: 2008-10-02 17:25:47 Proof theory Logical syntax Formal systems Mathematical proofs Mathematical induction First-order logic Theorem Axiom Formal proof Logic Mathematics Mathematical logic
242	A variant of the double-negation translation∗ Jeremy Avigad August 21, 2006 Abstract An efficient variant of the double-negation translation explains the Add to Reading List Source URL: www.hss.cmu.edu Language: English - Date: 2006-10-02 14:57:52 Model theory Formal languages Semantics Proof theory Dialectica interpretation Interpretation Intuitionistic logic First-order logic Well-formed formula Logic Mathematical logic Intuitionism
243	A Role for Formal Methodists∗ Fred B. Schneider Department of Computer Science Cornell University Ithaca, New York[removed]November 11, 1993 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-16 15:33:00 Formal methods Formal sciences Logical syntax Philosophy of mathematics Mathematical logic Formal proof Model checking Formalism Mathematical proof Logic Mathematics Science
244	Completeness and Incompleteness of Trace-Based Network Proof Systems? Jennifer Widom, David Gries, and Fred B. Schneider Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:10:37 Philosophical logic Model theory Proof theory Non-classical logic Axiom Formal methods Theorem Modal logic Trace Logic Mathematics Formal sciences
245	Chapter 3 Sequent Calculus In this chapter we develop the sequent calculus as a formal system for proof search in natural deduction. The sequent calculus was originally introduced by Gentzen [Gen35], primarily as a tech Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-01-22 08:01:14 Deduction Natural deduction Curry–Howard correspondence Sequent calculus Entailment Judgment Monotonicity of entailment Soundness Implicational propositional calculus Logic Proof theory Mathematical logic
246	Absolute Provability and Safe Knowledge of Axioms (to appear in Leon Horsten and Philip Welch, eds., The Scope and Limits of Mathematical Knowledge) Timothy Williamson Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2014-10-24 05:59:46 Philosophical logic Formal systems Proof theory Model theory Axiom Mathematical proof Theorem Kurt Gödel Modal logic Logic Mathematics Mathematical logic
247	Reference, Inference and the Semantics of Pejoratives Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-02-04 11:49:49 Philosophical logic Propositional calculus Grammar Meaning Philosophy of language Michael Dummett Entailment Rule of inference Formal proof Logic Linguistics Semantics
248	Escape to ATP for Mizar Piotr Rudnicki∗ Josef Urban† University of Alberta Add to Reading List Source URL: pxtp2011.loria.fr Language: English - Date: 2011-08-12 05:51:25 Formal methods Automated theorem proving Mizar system QED manifesto Proof assistant Automated proof checking Automated reasoning Mizar and Alcor Mizar Theoretical computer science Mathematics Applied mathematics
249	Justin Clarke-Doane Monash University [Note: This is the penultimate draft of a paper that is forthcoming in Noûs.] Moral Epistemology: The Mathematics Analogy* Add to Reading List Source URL: files.nyu.edu Language: English - Date: 2013-11-20 08:40:44 Branches of philosophy Mathematical logic Formal systems Meta-ethics Philosophical logic Philosophy of mathematics Self-evidence Axiom Mathematical proof Mathematics Logic Philosophy
250	Justin Clarke-Doane Columbia University [This is a draft of a companion piece to G.C. Field’s (1932) “The Place of Definition in Ethics”, Proceedings of the Aristotelian Society, 32: 79-94, for a virtual issue of t Add to Reading List Source URL: files.nyu.edu Language: English - Date: 2015-02-03 21:55:01 Set theory Proof theory Formal systems Z notation Axiom of choice Axiom Truth Theory Class Mathematical logic Logic Mathematics

UPDATE